$\forall$$g$:IMonoid, $b$:$\mathbb{B}$. IsMonHom\{$g$,$g$\}($\lambda$$p$:$\mid$$g$$\mid$. when $b$. $p$)